Concurrent algorithm - PDFSEARCH.IO - Document Search Engine

Concurrent algorithm
Results: 314

#	Item
71	Speculative Linearizability Rachid Guerraoui Viktor Kuncak Giuliano Losa Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2012-03-24 17:12:17 Fault-tolerant computer systems Concurrent computing Computer architecture Linearizability Consensus State machine replication Trace Distributed algorithm Consistency model Computing Transaction processing Concurrency control
72	Universal Processors David May Bristol Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2014-09-18 04:57:55 Models of computation Parallel algorithm Scalability Parallel Random Access Machine David May Concurrent computing Computing Parallel computing
73	Dynamic Synthesis for Relaxed Memory Models Feng Liu Nayden Nedev Nedyalko Prisadnikov Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2012-03-27 11:34:59 Transaction processing Concurrency Computer memory Linearizability Concurrent computing Non-blocking algorithm Memory barrier Sequential consistency Parallel computing Computing Concurrency control Computer architecture
74	How to Build a Highly Available System Using Consensus Butler W. Lampson1 Microsoft 180 Lake View Av., Cambridge, MA 02138 Add to Reading List Source URL: research.microsoft.com Language: English - Date: 1996-07-19 12:47:46 Concurrent computing Consensus Two-phase commit protocol Replication Algorithm Function Paxos Linearizability State machine replication Fault-tolerant computer systems Computing Mathematics
75	Automatic Synthesis of Deterministic Concurrency Veselin Raychev1 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich {veselin.raychev,martin.vechev}@inf.ethz.ch Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2013-08-20 04:50:41 Concurrent computing Thread Synchronization Deadlock Parallel computing Algorithm Lock Mutual exclusion Computer programming Concurrency Computing Computer science
76	Correctness-Preserving Derivation of Concurrent Garbage Collection Algorithms Martin T. Vechev Eran Yahav Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2006-01-23 21:06:46 Garbage collection Reference counting Pointer Algorithm Heap Software engineering Mathematics Memory management Automatic memory management Computing
77	Automated Concurrency-Bug Fixing Guoliang Jin Abstract Wei Zhang Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2012-09-10 16:24:23 Computer programming Lock Monitor Thread Software bug Non-blocking algorithm Mutual exclusion Deadlock Linearizability Concurrency control Computing Concurrent computing
78	Computer-Assisted Construction of Efficient Concurrent Algorithms Martin Vechev, Eran Yahav, Maged Michael, Hagit Attiya, Greta Yorsh Practical and efficient concurrent systems are notoriously hard to design, implement, Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2008-04-08 00:54:02 Concurrency Theoretical computer science Computer programming Algorithm Mathematical logic Non-blocking algorithm Linearizability Concurrent data structure Actor model Computing Concurrency control Concurrent computing
79	Scalable and Precise Dynamic Datarace Detection for Structured Parallelism Raghavan Raman Jisheng Zhao Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2012-04-01 10:27:41 Parallel computing Concurrency control Algorithm OpenMP Non-blocking algorithm Scheduling Deadlock Thread FastTrack Computing Concurrent computing Computer programming
80	The Structural Simula.on Toolkit (SST) Arun Rodrigues Sandia National Laboratories is a multi-program laboratory managed and operated by Sandia Corporation, a wholly owned subsidiary of Lockheed Mart Add to Reading List Source URL: xstackwiki.modelado.org Language: English - Date: 2014-06-03 14:45:47 Distributed computing architecture Cluster computing Computer architecture Supercomputer Benchmark Memory management Algorithm Computing Concurrent computing Parallel computing

UPDATE